Introduction to Functorial Algebraic Geometry

\(k\): the most fundamental ring, commutative and with a unit.
\(k'\): an algebra over k, or a commutative ring with a unit and a homomorphism \(h:k \to k'\)

Kaluza-Klein Klub: Wiki